Deliverable no . : D 1 . 2 Title of the deliverable : Revised reference model
نویسندگان
چکیده
This document contains an update of the HIDENETS Reference Model, whose preliminary version was introduced in D1.1. The Reference Model contains the overall approach to development and assessment of end-to-end resilience solutions. As such, it presents a framework, which due to its abstraction level is not only restricted to the HIDENETS car-to-car and car-to-infrastructure applications and use-cases. Starting from a condensed summary of the used dependability terminology, the network architecture containing the ad hoc and infrastructure domain and the definition of the main networking elements together with the software architecture of the mobile nodes is presented. The concept of architectural hybridization and its inclusion in HIDENETS-like dependability solutions is described subsequently. A set of communication and middleware level services following the architecture hybridization concept and motivated by the dependability and resilience challenges raised by HIDENETS-like scenarios is then described. Besides architecture solutions, the reference model addresses the assessment of dependability solutions in HIDENETS-like scenarios using quantitative evaluations, realized by a combination of top-down and bottom-up modeling, as well as verification via test scenarios. In order to allow for fault prevention in the software development phase of HIDENETS-like applications, generic UML-based modeling approaches with focus on dependability related aspects are described. The HIDENETS reference model provides the framework in which the detailed solution in the HIDENETS project are being developed, while at the same time facilitating the same task for non-vehicular scenarios and applications
منابع مشابه
Acronym : QUASIMODO Deliverable no . : D 1 . 1 Title of Deliverable : Modelling Quantitative System Aspects
This deliverable describes the results of the QUASIMODO project on modelling quantitative system aspects. Keyword list: AADL, Arcade, architectural dependability evaluation, cost-bounded reachability, priced priced/weighted timed automata, probabilistic timed automata, probabilistic timed automata, probabilistic hybrid systems. ICT-FP7-STREP-214755 / QUASIMODO Page 2 of 12 Public
متن کاملProject Acronym : QUASIMODO Deliverable no . : D 2 . 1 Title of Deliverable : Model - checking of real - time probabilistic models
This deliverable describes the first year results of the QUASIMODO project on analysing quantitative systems. Keyword list: Markov chain, Markov decision process, probabilistic bisimulation, probabilistic simulations; probabilistic timed automata; priced probabilistic timed automata; Continuous Time Markov Chains, inhomogeneous CTMC, Infinite state CTMC, counter-example guided abstractionrefine...
متن کاملAcronym : PACO - PLUS Deliverable no . : D 3 . 1 . 4 Title of the deliverable : Advances of human upper body and human grasp action representation
This report contains a single scientific publication that is relevant for the deliverable D3.1.4. This deliverable is concerned with deriving a representation of action on a higher abstraction level. The enclosed summary outlines the context of this work. Keyword list: action and grasp recognition, computer vision, robotics, AI, stochastic grammars
متن کاملT 1 . 2 Deliverable : D 1 . 2 a Title : D 1 . 2 a - Report on compact electromagnetic modelling of RF integrated structures
3
متن کاملDeliverable No : D . WP . JRA . 6 . 3 . 7 Deliverable title : Security considerations for Next Generation Internet
متن کامل
Information Society Technologies (ist) 6th Framework Programme Deliverable Reference Number: D.jra.1.3.2 Deliverable Title: Specification of Selected Network Layer Functions to Support Edge-to-edge Quality of Service in the Ngi Project Co-funded by European Commission within the Sixth Framework Programme (2002-2006)
متن کامل
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007